Multiparty Sessions in SOC
نویسندگان
چکیده
Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been proposed in the literature to separate messages sent to different instances of the same service. This paper presents a process calculus featuring dynamically evolving multiparty sessions to model interactions that spread over several participants. The calculus also provides primitives for service definition/invocation and for structured communication in order to highlight the interactions among the different concepts. Several examples from the SOC area show the suitability of our approach.
منابع مشابه
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Multiparty Session Types (MPST) is a typing discipline for message-passing distributed processes that can ensure properties such as absence of communication errors and deadlocks, and protocol conformance. Can MPST provide a theoretical foundation for concurrent and distributed programming in “mainstream” languages? We address this problem by (1) developing the first encoding of a full-fledged m...
متن کاملGlobal progress for dynamically interleaved multiparty sessions
A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. When a distributed protocol is engaged in two or more specifications simultaneously, sessions following distinct global types can be interleaved and can interfere at runtime also through the channel delegation operation. Previous work on m...
متن کاملGlobal Progress in Dynamically Interleaved Multiparty Sessions
A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. This paper develops, besides a more traditional communication type system, a novel static interaction type system for global progress in dynamically interleaved multiparty sessions.
متن کاملLinearly Typed Dyadic Group Sessions for Building Multiparty Sessions
Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the type of the session. We refer to this kind of session as an individual session (i-session). As a generalization of i-session, a group session (g-session) is one in which each party may implement a group of roles based on one channel. In particular, each of the two parties involved in a dya...
متن کاملGlobal Progress and its Inference for Dynamically Interleaved Multiparty Sessions
A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. When a distributed protocol is engaged in two or more specifications simultaneously, each session following a distinct global type can be interleaved and can interfere at runtime (through the channel delegation operation). High-level sessi...
متن کامل